WSML Deliverable D 20 v 0 . 1 OWL Lite −
نویسندگان
چکیده
This deliverable presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Lite−. OWL Lite− is a strict subset of OWL Lite and there exists a direct translation into the deductive database language Datalog. Thus, any OWL Lite− ontology can be translated into Datalog in order to allow for efficient query answering. It turns out that most current ontologies fall inside this
منابع مشابه
WSML Deliverable D 20 . 1 v 0 . 2 OWL Flight WSML Working Draft
This deliverable presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Lite−. OWL Lite− is a strict subset of OWL Lite and can be translated directly into the deductive database language Datalog. Thus, any OWL Lite− ontology can be translated into Datalog, in order to allow for efficient query answering. It turns out that most current ontologies fall ins...
متن کاملWSML Deliverable D 20 v 0 . 1 OWL Light − WSML Working Draft
This paper presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Light−. OWL Light− is a strict subset of OWL Lite, which falls within the Description Logic Programming (DLP) language L0. Thus, any ontology in OWL Light− can be translated into Datalog in order to allow for efficient query answering. It turns out that most current ontologies fall inside t...
متن کاملWSML Deliverable D 20 . 1 v 0 . 2 OWL − WSML Working Draft – January 6 , 2005
This deliverable presents restricted variants of the OWL Lite, DL and Full species of the OWL ontology language, called OWL Lite−, OWL DL− and OWL Full−, respectively. OWL Lite− and OWL DL− are strict subsets of OWL Lite and OWL DL. They are limited in such a way that there exists a translation from both languages directly into dunction-free logic programs, i.e., Datalog. Thus, any OWL Lite− or...
متن کاملWSML Deliverable D 20 . 1 v 0 . 2 OWL −
This deliverable presents restricted variants of the OWL Lite, DL and Full species of the OWL ontology language, called OWL Lite−, OWL DL− and OWL Full−, respectively. OWL Lite− and OWL DL− are strict subsets of OWL Lite and OWL DL. They are limited in such a way that there exists a translation from both languages directly into the deductive database language Datalog. Thus, any OWL Lite− or OWL...
متن کاملWSML Deliverable D 20 . 3 v 0 . 1 OWL Flight
We introduce OWL Flight, an extension of OWL− (a subset of OWL, which can be translated to Datalog) with different kinds of constraints and a form of the local closed-world assumption, as well as support for datatypes based on the OWL-E datatypes extension for OWL. The resulting language can be evaluated on a Datalog engine with support for integrity constraints, inequality (in the rule body) a...
متن کامل